fundamental inequality

基本不等式